Daniel Lascar: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (12)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

Oxford University Press

René Cori, Daniel Lascar, Donald Pelletier

Рік:

2001

Мова:

english

Файл:

DJVU, 5.41 MB

0 / 0

english, 2001

2

Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Oxford University Press, USA

Rene Cori, Daniel Lascar, Donald H. Pelletier

Рік:

2000

Мова:

english

Файл:

PDF, 12.16 MB

5.0 / 0

english, 2000

3

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Oxford University Press

René Cori, Daniel Lascar

Рік:

2000

Мова:

english

Файл:

PDF, 8.01 MB

0 / 0

english, 2000

4

La théorie des modèles en peu de maux

La théorie des modèles en peu de maux

Рік:

2009

Мова:

french

Файл:

PDF, 24.92 MB

0 / 0

french, 2009

5

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Oxford University Press, USA

Rene Cori, Daniel Lascar

Рік:

2000

Мова:

english

Файл:

DJVU, 5.28 MB

0 / 0

english, 2000

6

La théorie des modèles en peu de maux

La théorie des modèles en peu de maux

VUIBERT;Cassini

Рік:

2009

Мова:

french

Файл:

DJVU, 3.76 MB

0 / 0

french, 2009

7

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Oxford University Press

Rene Cori, Daniel Lascar, Donald H. Pelletier

Рік:

2000

Мова:

english

Файл:

DJVU, 2.85 MB

0 / 0

english, 2000

8

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Oxford University Press, USA

Rene Cori, Daniel Lascar

Рік:

2000

Мова:

english

Файл:

DJVU, 3.95 MB

0 / 0

english, 2000

9

Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Jesus M. Larrazabal, Daniel Lascar, Grigori Mints

Рік:

1998

Мова:

english

Файл:

DJVU, 1.97 MB

0 / 0

english, 1998

10

Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Jesús M. Larrazabal, Daniel Lascar, Grigori Mints (eds.)

Рік:

1998

Мова:

english

Файл:

PDF, 7.25 MB

0 / 0

english, 1998

11

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Oxford University Press, USA

Rene Cori, Daniel Lascar, Donald H. Pelletier

Рік:

2002

Мова:

english

Файл:

PDF, 12.15 MB

5.0 / 5.0

english, 2002

12

Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Godel’s Theorems, Set Theory, Model Theory

Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Godel’s Theorems, Set Theory, Model Theory

Oxford University Press

Rene Cori, Daniel Lascar, Donald H. Pelletier

Рік:

2001

Мова:

english

Файл:

PDF, 29.96 MB

5.0 / 5.0

english, 2001